body {
  background-color: white;
  font-family: sans-serif;
}
h1 {
  font-weight: normal;
  font-size: 140%;
}

/* Buttons */
button {
  margin: 5px;
  margin-right: 12px;
  margin-left: 0;
  padding: 5px 10px;
  font-size: large;
  border-radius: 5px;
  border: 1px solid #ddd;
  background-color: #eee;
  color: black;
}
#linkButton {
  float:right;
}
button:active {
  border: 1px solid blue !important;
}
button:hover {
  box-shadow: 2px 2px 5px #888;
}
button>img {
  opacity: 0.6;
}
button:hover>img {
  opacity: 1;
}
button.disabled:hover>img {
  opacity: 0.6;
}
button.disabled {
  display: none;
}
#visualization {
  margin-top: 1em;
}
#funcText {
  margin-top: 1em;
  margin-left: 1.5em;
  font-family: sans-serif;
  font-size: small;
}
#funcText>img {
  height: 3px;
  width: 15px;
  vertical-align: middle;
  margin-right: .5em;
}
#y1 {
  background-color: #36c;
}
#blockly {
  position: fixed;
}
